e-commerce protocols

A Formal Analysis Method for Enhancing the Security of E-Commerce Protocols

一种增强电子商务协议安全性的形式化分析方法

The Formal Methods of Verifying E-commerce Protocols and a Case of Study

电子商务协议的形式化验证方法及FR验证实例

Fairness is the basic requirement of E-Commerce protocols .

公平性是电子商务协议的基本安全要求。

We analyse the security of e-commerce protocols in failure environments using the model checking approach .

本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。

Automatic Verification of a New Property of E-commerce Protocols : the Protection of Individuals ' Interests

保护个人的利益&电子商务协议新属性的自动验证

Security analysis of fair exchange protocols is the keystone and the most difficult part of analyzing e-commerce protocols .

公平交换协议的安全性分析，是电子商务协议分析的重点和难点。

While secure e-commerce protocols are fundamental to e-commerce , a seemingly secure protocol often has security flows .

安全的电子商务协议是保证电子商务活动正常开展的基础，但一个貌似安全的协议往往存在安全上的漏洞。

However , the strand space model was only applied to the analysis of authentication protocols when first proposed and rarely concerning e-commerce protocols .

但是串空间模型最初提出来只限于对认证协议的分析，很少涉及电子商务协议。

The dissertation mainly studies the applications of logic and model checking methods in formal analysis of E-commerce protocols , especially study on ATL logic method and the application of ATL logic on E-commerce formal analyzing .

本文主要对基于逻辑的形式化方法与模型检测技术及其在电子商务协议形式化分析中的应用进行了系统研究，重点对ATL逻辑方法及其在电子商务协议并形式化分析中的应用进行了研究。

The exchange protocols are a very important part of the e-commerce protocols . Through the research of modeling and formal analysis of the exchange protocols , we can guide the design and testing protocol of the potential problems .

交换协议是电子商务协议中很重要的一部分，通过对交换协议的建模和形式化分析来研究交换协议的设计和检测协议中的潜在问题。

As the wide application of Internet and distributed system , the electronic commerce develops more and more quickly too , and the correspondent web e-commerce protocols are the keys to make sure that the new exchange model runs smoothly .

随着互联网和分布式系统的广泛应用，电子商务的发展越来越迅速，相应的网络电子商务协议成为这种交易模式顺利进行的保证。

At present , the main methods of analyzing the security of e-commerce protocols are BAN logic , model checking and inductive method , etc. Although the above methods can effectively analyze some security attributes of the protocol , they all have certain limitations .

目前分析电子商务协议安全性的方法主要有BAN逻辑、模型检测和归纳方法等。虽然上述方法都能够较好地分析协议的某些安全属性，但都具有一定的局限性。

Modeling the protocol by such a FSA , we can not only display dynamically how each participant executes the protocol concurrently , but improve the ability of illation of the FSA , which enable us to analyze signature and ciphertext in the e-commerce protocols .

用扩展的FSA根据消息为协议建模，不仅可动态显示各个参与者并发执行协议的过程，而且增强了自动机的逻辑分析能力。

Researches on e-commerce security protocols . This thesis studies the typical logic analysis methods for the e-commerce security protocols , and discusses their advantages and disadvantages .

本文主要研究电子商务安全协议的设计与逻辑分析方法，研究内容包括以下方面：1.深入研究了典型的电子商务安全协议逻辑分析方法，指出了它们的优点与不足。

Using SVO logic and Qing-logic , two e-commerce security protocols are analyzed . Some security vulnerabilities are found for them and several improved protocols are proposed correspondingly .

使用SVO逻辑、卿-逻辑等协议逻辑分析方法，研究分析了两种常用典型电子商务协议，发现了它们存在的安全缺陷，并提出了改进协议。